Identiication and Classiication of Inconsistency in Relationship to Software Maintenance
نویسندگان
چکیده
This paper provides an overview of the relationship between recent work in logic programming and recent developments in software engineering. The relationship to software engineering is more speciically concerned with how formal speciications can be used to explain and represent the basis of software maintenance and evolution. Some of the results reviewed here have appeared in 5] and 13]. These previous results are summarized, extended, and made more general in this paper.
منابع مشابه
Diatom Identi cation: a Double Challenge Called ADIAC
This paper introduces the project ADIAC (Automatic Diatom Identiication and Classiication), which started in May 1998 and which is nanced by the European MAST (Marine Science and Technology) programme. The main goal is to develop algorithms for an automatic identiication of diatoms using image information: both valve shape (contour) and ornamentation. The paper presents the goals of the project...
متن کاملDiatom Identification: A Double Challenge Called ADIAC
This paper introduces the project ADIAC (Automatic Diatom Identiication and Classiication), which started in May 1998 and which is nanced by the European MAST (Marine Science and Technology) programme. The main goal is to develop algorithms for an automatic identiication of diatoms using image information: both valve shape (contour) and ornamentation. The paper presents the goals of the project...
متن کاملRelationship between metacognition and perfectionism with duration of methadone maintenance treatment in addicts referred to addiction treatment centers
Background: Different psychological variables are effective in the continuation of substance abuse. This study aimed to investigate the relationship between metacognition and perfectionism with duration of methadone maintenance treatment in addicts referred to addiction treatment centers in Tabriz. Materials and Methods: This descriptive-correlational study was performed on 196 people referred ...
متن کاملUsing Proformas and Object Oriented Techniques to Model Software System Architectures
EXTENDED ABSTRACT Unless an operational system has been developed and maintained under strict connguration control it is likely that the cost of software maintenance will be very high. This high cost can be largely attributed to the costs incurred in identifying and understanding the parts of a system potentially aaected by proposed maintenance changes. In large legacy systems the process of id...
متن کاملModeling Fuzzy Classiication Systems with Compact Rule Base
An adaptive method to construct compact fuzzy systems for solving pattern classiication problems is presented. The method consists of two phases: a rule identiication phase and a rule selection phase. The rule identiication phase generates fuzzy rules from numerical data through a simple fuzzy grid method, then tunes the resulting fuzzy rules by training a neuro-fuzzy network used to model the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997